Non-Classical - PDFSEARCH.IO - Document Search Engine

Non-Classical
Results: 915

#	Item
501	Comirit: Commonsense Reasoning by Integrating Simulation and Logic Benjamin JOHNSTON and Mary-Anne WILLIAMS Faculty of Information Technology, University of Technology, Sydney, Australia Abstract. Rich computer simulatio Add to Reading List Source URL: comirit.com Language: English - Date: 2012-04-27 22:26:08 Reasoning Automated theorem proving Artificial intelligence Non-classical logic Knowledge representation Method of analytic tableaux Reasoning system Semantic reasoner First-order logic Logic Mathematical logic Science
502	Explaining Explanation Closure Patrick Doherty1 and Witold L ukaszewicz2 and Andzrej Szalas2 1 Department of Computer and Information Science Linkoping University, S[removed]Linkoping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:09:18 Non-classical logic Mathematics Knowledge representation Epistemology Artificial intelligence Frame problem Circumscription Situation calculus Axiom Logic Mathematical logic Logic programming
503	Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-05-05 07:12:06 Modal logic Software engineering Logic Non-classical logic Maude system
504	Multi-Agent Planning with Knowledge, Action and Time Mario R. F. Benevides1 , Luis R. M. Lopes1 1 Programa de Engenharia de Sistemas e Computac¸a˜ o, COPPE/UFRJ, Cidade Universit´aria, Centro de Tecnologia, Bloco H Add to Reading List Source URL: www.lbd.dcc.ufmg.br Language: English - Date: 2011-06-27 10:05:13 Modal logic Non-classical logic Common knowledge Multi-agent system Model checking Temporal logic Proposition Kripke semantics Logic Mathematical logic Philosophical logic
505	A Characterization Result for Circumscribed Normal Logic Programs Patrick Doherty and Witold L ukaszewicz and Andrzej Szalas Abstract Circumscription has been perceived as an elegant mathematical technique for modelin Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:30:06 Formal languages Circumscription Logic programming Non-classical logic Conjunctive normal form Atomic formula Well-formed formula First-order logic Logic Mathematical logic Predicate logic
506	14 Notre Dame Journal of Formal Logic Volume 31, Number 1, Winter 1990 Linear Logic Displayed NUEL BELNAP Add to Reading List Source URL: www.pitt.edu Language: English - Date: 2011-02-14 12:57:38 Proof theory Substructural logic Logic in computer science Philosophical logic Linear logic Intuitionistic logic Axiom Sequent calculus Negation Logic Mathematical logic Non-classical logic
507	Automatic Control and Systems Engineering The Department of Automatic Control & Systems Engineering is pleased to announce the following seminar: Add to Reading List Source URL: www.sheffield.ac.uk Language: English - Date: 2014-10-21 04:19:12 Fuzzy logic Science Logic in computer science Non-classical logic Computational intelligence Fuzzy control system Type-2 fuzzy sets and systems IEEE Computational Intelligence Society Fuzzy set Artificial intelligence Logic Mathematical logic
508	AlechinaBalbianiShkatov.dvi Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 15:17:42 Model theory Philosophical logic Modal logic Non-classical logic Interpretation First-order logic Partition Logic Mathematics Mathematical logic
509	doi:[removed]j.jal[removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 10:38:00 Non-classical logic Philosophical logic Model theory Mathematical constructivism Modal logic Kripke semantics First-order logic Intuitionistic logic Closure operator Logic Mathematical logic Mathematics
510	Journal of Logic and Computation Advance Access published October 10, 2006 The Dynamics of Syntactic Knowledge THOMAS A˚GOTNES, Department of Informatics, University of Bergen P.B. 7800, N-5020 Bergen, Norway. E-mail: Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 10:30:44 Philosophical logic Model theory Metalogic Modal logic Epistemic modal logic Non-monotonic logic First-order logic FO Belief revision Logic Mathematical logic Non-classical logic

UPDATE